1. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
2. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
3. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Recursion theory , Fixed point theory
رده :
QA
9
.
6
.
S67
1994
4. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
5. Diagonalization & self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
6. First-order logic
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، First-order logic
رده :
QA
9
.
S574
7. First-order logic
پدیدآورنده : Smullyan, Raymond M
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S75
8. First-order logic
پدیدآورنده : Smullyan, Raymond M.
موضوع : ، First-order logic
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
9. Godel's incompleteness theorems
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
S68G6
10. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
11. Godel's incompleteness theorems
پدیدآورنده : Raymond M. Smullyan
موضوع : Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
13. Godel's incompleteness theorems
پدیدآورنده : / Raymond M. Smullyan
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel's theorem
رده :
QA9
.
65
.
S69
1992
14. Les theoremes d'incompletude de Godel
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
S68G613
15. Recursion theory for metamathematics
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S68
1993
16. Satan, Cantor, and infinity
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Library of Farabi Campus of Tehran University (Qom)
موضوع :
رده :
QA
95
.
S5
1992
17. Satan, Cantor, and infinity, and other mind-boggling puzzles
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Mathematical recreations,، Godel's theorem
رده :
QA
95
.
S6S2
18. Satan, Cantor, and infinity : and other mind-boggling puzzles
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematical recreations,، Godel's theorem
رده :
QA
95
.
S5
1992
19. Set theory and the continuum problem
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Continuum hypothesis
رده :
QA
248
.
S6
20. Tao Sessizdir
پدیدآورنده : \ Raymound M. Smullyan;,The tao is silent
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : تائو, Tao
رده :
B
127
.
T3S65
